Null/knockout Havcr2<tm1Vlcg> http://identifiers.org/mgd/MGI:5617473 targeted mutation 1, Velocigene MGI:5617473